Skip to content

Conversation

@fingolfin
Copy link
Collaborator

@fingolfin fingolfin commented Nov 3, 2025

Namely when a PR review comment is made by the author, which for some reason is treated separately from 'top level' PR comments.

Specifically, this comment #2793 (comment) did not result in the label being removed.

Namely when a PR review comment is made by the author, which
for some reason is treated separately from 'top level' PR
comments.
@fingolfin fingolfin added the Skip Changelog Allows the CHANGELOG.md check to pass without edit to the file. label Nov 3, 2025
@fingolfin fingolfin merged commit fefe54d into JuliaDocs:master Nov 3, 2025
26 of 27 checks passed
@fingolfin fingolfin deleted the mh/label-fix branch November 3, 2025 23:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Skip Changelog Allows the CHANGELOG.md check to pass without edit to the file.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant